大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Herbert August 的图书(共1477本)

Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

0
索取号：
作者：Biere、 Armin.、Gomes、 Carla P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi鈥檃n, China, August 15-17, 2006. Proceedings

0
索取号：
作者：Cheng、 Xiuzhen.、Li、 Wei.、Znati、 Taieb.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Furbach、 Ulrich.、Shankar、 Natarajan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

0
索取号：
作者：Borwein、 Jonathan M.、Farmer、 William M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Knowledge Science, Engineering and Management [electronic resource] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings

0
索取号：
作者：Lang、 J茅r么me.、Lin、 Fangzhen.、Wang、 Ju.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advanced Data Mining and Applications [electronic resource] : Second International Conference, ADMA 2006, Xi鈥檃n, China, August 14-16, 2006 Proceedings

0
索取号：
作者：Li、 Xue.、Za茂ane、 Osmar R.、Li、 Zhan-huai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computing and Combinatorics [electronic resource] : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings

0
索取号：
作者：Chen、 Danny Z.、Lee、 D. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

0
索取号：
作者：Shi、 Zhong-Zhi.、Sadananda、 Ramakoti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings

0
索取号：
作者：Zhou、 Xiaobo.、Sokolsky、 Oleg.、Yan、 Lu.、Jung、 Eun-Sun.、Shao、 Zili.、Mu、 Yi.、Lee、 Dong Chun.、Kim、 Dae Young.、Jeong、 Young-Sik.、Xu、 Cheng-Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

0
索取号：
作者：Pfenning、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

0
索取号：
作者：Damiani、 Ernesto.、Liu、 Peng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dermatological Phototherapy and Photodiagnostic Methods [electronic resource]

0
索取号：
作者：H枚nigsmann、 Herbert.、Elmets、 Craig A.、Krutmann、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings

0
索取号：
作者：Sha、 Edwin.、Han、 Sung-Kook.、Xu、 Cheng-Zhong.、Kim、 Moon-Hae.、Yang、 Laurence T.、Xiao、 Bin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

PRICAI 2006: Trends in Artificial Intelligence [electronic resource] : 9th Pacific Rim International Conference on Artificial Intelligence Guilin, China, August 7-11, 2006 Proceedings

0
索取号：
作者：Yang、 Qiang.、Webb、 Geoff.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Etalle、 Sandro.、Truszczy艅ski、 Miros艂aw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Graphics Recognition. Ten Years Review and Future Perspectives [electronic resource] : 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

0
索取号：
作者：Liu、 Wenyin.、Llad贸s、 Josep.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.